On Methodologies for Constructing Correct Event-Based Applications
نویسندگان
چکیده
Various application domains exist where the advantages of the event-based paradigm make it a key technology. In general, this architectural style allows better control of the structural and behavioral complexity of applications: components can be developed independently and loosely integrated. The computational behavior of this paradigm, however, remains poorly understood. This position paper argues on the necessity of a new methodology for constructing event-based applications as well as a new logic that clarifies the computational behavior of such applications. For this, the paper presents some factors that make the eventbased style so troublesome and discusses the (non-) adequacy of existing formal techniques for the construction of event-based applications.
منابع مشابه
Architectural Plan for Constructing Fault Tolerable Workflow Engines Based on Grid Service
In this paper the design and implementation of fault tolerable architecture for scientific workflow engines is presented. The engines are assumed to be implemented as composite web services. Current architectures for workflow engines do not make any considerations for substituting faulty web services with correct ones at run time. The difficulty is to rollback the execution state of the workflo...
متن کاملArchitectural Plan for Constructing Fault Tolerable Workflow Engines Based on Grid Service
In this paper the design and implementation of fault tolerable architecture for scientific workflow engines is presented. The engines are assumed to be implemented as composite web services. Current architectures for workflow engines do not make any considerations for substituting faulty web services with correct ones at run time. The difficulty is to rollback the execution state of the workflo...
متن کاملA Systematic Approach to the Development of Event Based Applications
Today’s software technology was created for applications that used a relatively small number of homogeneous devices. Current applications need to deal with thousands, and in the future perhaps millions, of highly heterogeneous devices. As a result, an active area of research in distributed systems is currently trying to invent software methodologies consisting of communication paradigms, tools,...
متن کاملA novel topological descriptor based on the expanded wiener index: Applications to QSPR/QSAR studies
In this paper, a novel topological index, named M-index, is introduced based on expanded form of the Wiener matrix. For constructing this index the atomic characteristics and the interaction of the vertices in a molecule are taken into account. The usefulness of the M-index is demonstrated by several QSPR/QSAR models for different physico-chemical properties and biological activities of a large...
متن کاملMaintenance Improvement of Ball Bearings For Industrial Applications
In this research, the life expectancy of ball bearings in industrial applications is estimated based on known parameters. The overall mathematical calculation of such behavior is based on the theory of Lundberg and Palmgren. The proposed life estimation equation however lacks certain points to make it qualified as universal. A firm conclusion therefore could not be obtained on the basis of this...
متن کامل